Definitions | IdLnk, t T, x:A. B(x), msg-spec-links(snd), (x l), source(l), <a, b>, Id, s = t, P Q, x:AB(x), msg-spec-loc(snd; i), msg-spec-loc-decl(snd; i; da), Type, x. t(x), fpf(A; a.B(a)), Knd, msg-spec(ds; da), top, t.2, x.A(x), fpf-domain(f), x:A B(x), t.1, msg-item(ds; da; k; l), type List, atom{$n:n}, x:A. B(x), b, P Q, P Q, guard(T), sq_type(T), prop{i:l}, sqequal(s; t), idlnk-deq, Kind-deq, product-deq(A; B; a; b), P Q, left + right |